Menu

Filtros : "Contradictions, from consistency to inconsistency" Limpar

Filtros

Refine with date range

  • 1

1 - 2 (2 records)

  • Parte de monografia/livro

    Reconciling first-order logic to algebra (2018)

    Carnielli, Walter Alexandre ; Mariano, Hugo Luiz ; Matulovic, Mariana

    Source: Contradictions, from consistency to inconsistency. Unidade: IME

    Assunto: LÓGICA ALGÉBRICA

    PrivadoAcesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      CARNIELLI, Walter Alexandre e MARIANO, Hugo Luiz e MATULOVIC, Mariana. Reconciling first-order logic to algebra. Contradictions, from consistency to inconsistency. Tradução . Cham: Springer, 2018. . Disponível em: https://doi.org/10.1007/978-3-319-98797-2_13. Acesso em: 03 maio 2024.

    • APA

      Carnielli, W. A., Mariano, H. L., & Matulovic, M. (2018). Reconciling first-order logic to algebra. In Contradictions, from consistency to inconsistency. Cham: Springer. doi:10.1007/978-3-319-98797-2_13

    • NLM

      Carnielli WA, Mariano HL, Matulovic M. Reconciling first-order logic to algebra [Internet]. In: Contradictions, from consistency to inconsistency. Cham: Springer; 2018. [citado 2024 maio 03 ] Available from: https://doi.org/10.1007/978-3-319-98797-2_13

    • Vancouver

      Carnielli WA, Mariano HL, Matulovic M. Reconciling first-order logic to algebra [Internet]. In: Contradictions, from consistency to inconsistency. Cham: Springer; 2018. [citado 2024 maio 03 ] Available from: https://doi.org/10.1007/978-3-319-98797-2_13

  • Parte de monografia/livro

    Quantitative logic reasoning (2018)

    Finger, Marcelo

    Source: Contradictions, from consistency to inconsistency. Unidade: IME

    Subjects: LÓGICA, RACIOCÍNIO DEDUTIVO E INDUTIVO

    PrivadoAcesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      FINGER, Marcelo. Quantitative logic reasoning. Contradictions, from consistency to inconsistency. Tradução . Cham: Springer, 2018. . Disponível em: https://doi.org/10.1007/978-3-319-98797-2_12. Acesso em: 03 maio 2024.

    • APA

      Finger, M. (2018). Quantitative logic reasoning. In Contradictions, from consistency to inconsistency. Cham: Springer. doi:10.1007/978-3-319-98797-2_12

    • NLM

      Finger M. Quantitative logic reasoning [Internet]. In: Contradictions, from consistency to inconsistency. Cham: Springer; 2018. [citado 2024 maio 03 ] Available from: https://doi.org/10.1007/978-3-319-98797-2_12

    • Vancouver

      Finger M. Quantitative logic reasoning [Internet]. In: Contradictions, from consistency to inconsistency. Cham: Springer; 2018. [citado 2024 maio 03 ] Available from: https://doi.org/10.1007/978-3-319-98797-2_12
  • 1

1 - 2 (2 records)

Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2024